bitkeeper revision 1.1159.1.519 (41d44957j43cN3y5xTzmQ9SDquPlbQ)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 30 Dec 2004 18:30:47 +0000 (18:30 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 30 Dec 2004 18:30:47 +0000 (18:30 +0000)
Fix extern declarations in VMX code. They looked okay to me, but GCC
sometimes barfed on them.

xen/arch/x86/vmx.c
xen/arch/x86/vmx_io.c

index f42c596592c554b17225750a2001e8e0457b6efb..53f564358019451fa21e5fa98632cc634d613ed5 100644 (file)
@@ -38,6 +38,9 @@
 int vmcs_size;
 unsigned int opt_vmx_debug_level;
 
+extern long evtchn_send(int lport);
+extern long do_block(void);
+
 int start_vmx()
 {
     struct vmcs_struct *vmcs;
@@ -307,9 +310,6 @@ static void vmx_io_instruction(struct xen_regs *regs,
     unsigned long addr;
     unsigned long eip;
 
-    extern long evtchn_send(int lport);
-    extern long do_block(void);
-
     __vmread(GUEST_EIP, &eip);
 
     VMX_DBG_LOG(DBG_LEVEL_1, 
@@ -618,7 +618,6 @@ static inline void vmx_do_msr_read(struct xen_regs *regs)
  */
 static inline void vmx_vmexit_do_hlt()
 {
-    extern long do_block(void);
 #if VMX_DEBUG
     unsigned long eip;
     __vmread(GUEST_EIP, &eip);
index 881e29754944d63ed75f7853d324cdae7742d717..02333531a1c39f6bf4b41b49750216a1d9ca4284 100644 (file)
@@ -30,6 +30,8 @@
 #include <xen/event.h>
 #include <public/io/ioreq.h>
 
+extern long do_block();
+
 void vmx_io_assist(struct exec_domain *ed) 
 {
     vcpu_iodata_t *vio;
@@ -37,7 +39,6 @@ void vmx_io_assist(struct exec_domain *ed)
     struct domain *d = ed->domain;
     execution_context_t *ec = get_execution_context();
     unsigned long old_eax;
-    extern long do_block();
     unsigned long eflags;
     int dir;
 
@@ -208,8 +209,6 @@ void vmx_intr_assist(struct exec_domain *d)
 
 void vmx_do_resume(struct exec_domain *d) 
 {
-    extern long do_block();
-
     __vmwrite(HOST_CR3, pagetable_val(d->mm.monitor_table));
     __vmwrite(GUEST_CR3, pagetable_val(d->mm.shadow_table));
     __vmwrite(HOST_ESP, (unsigned long) get_stack_top());